Comparison of Aerial Cloud Pictures with Satellite Pictures

Constraining Pictures with Pictures

This paper presents a visual language called Miro for specifying and restricting operating system security configurations. A Miro picture specifies exactly what rights users have on files. A Miro constraint, also stated visually, restricts the set of Miro pictures which are considered legal. Such constraints on pictures give an exact specification of security policies and a practical method for...

Wind Estimation from Geostationary-satellite Pictures

The motion of properly selected clouds derived from photographs taken by the geostationary Advanced Technology Satellites provides estimates of the wind a t cloud level. A large number of lowand high-cloud motions near rawin stations are compared to the balloon-derived winds to determine the levels at which these wind estimates might be used for map analyses and to assess their accuracy a t tho...

Tla in Pictures Tla in Pictures

The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems. From our establishment in 1984, we h a v e performed basic and applied research to support Digital's business objectives. Our current w ork includes exploring distributed personal computing on multiple platforms, networking, programming technology, system modelling and management technique...

Parsing with Pictures

The development of elegant and practical algorithms for parsing context-free languages is one of the major accomplishments of 20 century Computer Science. These algorithms are presented in the literature using string rewriting systems or abstract machines like pushdown automata, but the resulting descriptions are unsatisfactory for several reasons. First, even a basic understanding of parsing a...

City Pictures